Architecture, ordre social et liberté individuelle

Graphical types and constraints - second-order polymorphism and inference. (Types et contraintes graphiques - polymorphisme de second ordre et inférence)

308

Conception individuelle et collective. Approche de l'ergonomie cognitive [Individual and Collective Design. The Cognitive-Ergonomics Approach]

This text presents the cognitive-ergonomics approach to design, in both its individual and collective form. It focuses on collective design with respect to individual design. The theoretical framework adopted is that of information processing, specified for design problems. The cognitive characteristics of design problems are presented: the effects of their ill-defined character and of the diff...

Raisonnement Automatisé: Principes Et Applications (partie I: Logique Du Premier Ordre) 1 First Order Logic

2009 This document contains the first part of the M2R course RAPA: Automated Reasoning: Principle and Applications. It presents the basis of first-order logic and automated deduction: syntax, semantics, transformation into clausal form, unification and the Resolution calculus (with selection functions and atom ordering). Some basic properties of the Resolution calculus are also investigated (w....

Individuelle Risikohandhabung bei der Zahlungssystemwahl

Notion de liberté en statistique mathématique